Post-Sign-In names a function, with lambda list (USER):
Perform housekeeping after an user signs in.
This might include sending a pending child prompt.
Defined in file src/users.lisp.